Update .hgignore list

diff --git a/.hgignore b/.hgignore
index 4ddae652f5097f93bc00f61e3d3d40ec014002c8..ae2338704975f416ab30006aed24b6f8d982e727 100644 (file)
--- a/.hgignore
+++ b/.hgignore
@@ -147,6 +147,9 @@
 ^tools/firmware/vgabios/vbetables-gen$
 ^tools/firmware/vgabios/vbetables\.h$
 ^tools/flask/loadpolicy/flask-loadpolicy$
+^tools/flask/utils/flask-getenforce$
+^tools/flask/utils/flask-loadpolicy$
+^tools/flask/utils/flask-setenforce$
 ^tools/fs-back/fs-backend$
 ^tools/hotplug/common/hotplugpath\.sh$
 ^tools/include/xen/.*$
@@ -196,6 +199,7 @@
 ^tools/misc/xen-hvmctx$
 ^tools/misc/gtraceview$
 ^tools/misc/gtracestat$
+^tools/misc/xenlockprof$
 ^tools/pygrub/build/.*$
 ^tools/python/build/.*$
 ^tools/python/xen/util/path\.py$